Casper FFG
Ethereum 2.0 Beacon chain
Papers/Specs
Vitalik Buterin (Ethereum Foundation), Diego Hernandez, Thor Kamphefner (SJSU), Khiem Pham (VinAI Research), Zhi Qiao (SJSU), Danny Ryan (Ethereum Foundation), Juhyeok Sin, Ying Wang, Yan X Zhang (SJSU)
Formal Verification
Runtime Verification
Tutorials
Phase 0 Technical Deepdive SlidesVideo @DEVCON5 by EF Research Team Hybrid Casper FFG
Original White paper
Vitalik Buterin and Virgil Griffith
Formal Verification
Karl Palmskog Milos Gligoric (The University of Texas at Austin), Brandon Moore, Lucas Peña, Grigore Roşu (Runtime Verification, Inc.)
Economics
Vitalik Buterin, Daniel Reijsbergen, Stefanos Leonardos, Georgios Piliouras
Vitalik Buterin, Daniel Reijsbergen, Georgios Piliouras
Tutorials
Ethereum PoS: Casper FFG 2017 Chronicles - BPASE '18 by Karl Slide Video The BFT lens: Hot-Stuff and Casper Article by Dahlia Proposals
Subjective finality
Bouncing attack
Prevention of Bouncing Attack on Casper FFG (Poster) by nrryuya.icon
FC'20 The slides of the poster Epoch-less
Slashing condition
This does not work with k-finality rule (Spec) Validator rotation
Validator rotation without finalization
Exponential epoch backoff
Light client
Others
Bharati Vidyapeeth Deemed To Be University, Smt. KashibaiNavale College of Engineerin